#include "contrib-header.h"

#include <dy1/simulator.h>

void
testPrint()
{
    std::cout << dy1::Simulator::Now() << std::endl;
}
